
#include <linux/sched.h>
#include <linux/sched/clock.h>
#include <linux/jiffies.h>

#include "inc/sched.h"

#include "_utility_/clock.c"

#ifdef CONFIG_SMP
#include "_utility_/topology.c"
#endif
